Nosso artigo tem como objetivo apresentar as posições do Papa Francisco em relação a temática da Ecologia em seus discursos, homilias, audiências entre outros pronunciamentos antes da publicação da encíclica Laudato Si’. Percorreremos esses pronunciamentos desde a primeira manifestação pública do Papa após sua eleição até a data da publicação da Encíclica. Na encíclica Laudato Si’ há um forte apelo à conversão ecológica a partir do entendimento do encontro com Jesus feitos nas relações com o mundo em sua totalidade: humano, (...) material e imaterial. O próprio papa, em um dos pronunciamentos que iremos apresentar, trata de seu percurso ecológico de cardeal Jorge Mario Bergoglio até tornar-se Papa, um caminho que o sumo pontífice convida a todas e todos realizarem. Nosso objetivo é demonstrar como essas posições assumidas na Laudato Si’ foram se construindo ao longo dos anos. Nossa conclusão é a de que essa conversão ecológica, inicialmente apresentada pelo Papa e por nós mapeada em seus pronunciamentos, deve ser, respeitando as individualidades, a conversão ecológica de toda Igreja Católica. (shrink)

Carnival was brought to the New World by Spanish and Portuguese colonizers, and it has been preserved there up to our day, although in the meantime it has almost disappeared from the countries where it originated. One asks oneself if Carnival has kept its original characteristics over the years, or if it instead has been transformed, and if so, how. The ethnological and cultural variety present in Latin America leads us to think that there must have been an evolution over (...) the years, and that Carnival should show some signs of acculturation. It is the examination of these two points that will be the subject of our study. (shrink)

Rio de Janeiro, the opening of the carnival. On the Friday evening preceding Mardi Gras, the mayor of Rio hands over the keys to the city to King Momo, sovereign of the carnival. Immediately the samba breaks out in the brightly lit streets of the city. Newspapers, magazines and television feature big headlines describing the event and glorifying the holiday kingdom. They all report that the city is being shaken by winds of madness, that licence and inversions of every variety (...) are rampant, that the leveling of individuals and the abolition of social distances illustrate the resolutions of conflicts in a collective dream of joy and happiness…. (shrink)

LEI ANTICORRUPÇÃO TEM COMO DESAFIO TRAZER JOGO LIMPO PARA O MERCADO.

O presente trabalho tem o objetivo de conectar a teoria criada por Pierre Bourdieu sobre a violência simbólica e o texto de Audre Lorde, The use of anger: women responding to racism do seu livro Sister Outsider; demonstrando a importância do debate sobre a relação entre dominante e dominado a partir do viés racial, tema abordado por ambos autores em seus textos. Com este fito, pretendemos diferenciar os resultados objetivos do ódio, raiva e culpa, bem como o modo que as (...) agressões invisíveis repercutem na vida do oprimido. Tendo como foco o racismo na vida da “mulher de cor” que ainda nos dias de hoje, em uma pirâmide social, se encontram em desvantagem quanto aos demais indivíduos. Faz parte dos objetivos também trazer à tona a reação do oprimido como consequência natural dos séculos de silenciamento, privação e desumanização, analisando os mecanismos institucionais para pacificação social. (shrink)

The spread of aggressive memes on social media is a major problem, demanding solutions for the automatic detection of these undesired memes. However, the line between freedom of expression and the dissemination of aggressive messages is very blurred and difficult to define. Moreover, the detection of aggressive elements in memes presents a significant challenge because memes are mostly multimodal, e.g., a composition of an image with a concise textual content which often lacks a direct connection or correlation. The advent of (...) Generative Models presents an interesting alternative to unravel the inherent meaning of aggressive memes by allowing a fully multimodal analysis. This paper examines the use of Generative Models to detect aggressive memes. The proposed methodology groups aggressive memes from existing datasets according to levels of multimodal analysis difficulty and, together with the creation of prompts via zero-shot, tests and verifies how well these models perform in the task of detecting this type of content and where failures may occur. To validate the methodology, a series of experiments using three models and five datasets was conducted. According to manual annotation, these data were divided into three datasets representing three multimodality reasoning levels, which were submitted to the models to perform the task of identifying the presence of aggressive content. The results show the viability of using generative models in this task, as well as highlight the better performance of some models compared to others. Moreover, a comparison with a non-generative model specially trained on the meme datasets shows that generative models can be competitive in the task of detecting memes with aggressive content as long as the multimodality reasoning level required is not very high. The findings can help academics, managers, and decision-makers develop more effective tools for detecting aggressive content while balancing freedom of expression. The research also serves as a reference for improving moderation systems and guiding future policies in online communication. (shrink)

Those religious doctrines which used to foretell the dawning on earth of an age of perfect happiness are called “millennial;” they oppose the existing society, which is considered as unjust and oppressive, and proclaim its impending downfall. These doctrines are called “messianic” whenever the inauguration of this perfect world is dependent upon the arrival of a “son of God,” a divine messenger, or a mythical hero: in fact, of a “messiah.” The messiah is he who announces and inaugurates on earth (...) a “Kingdom of Heaven.”. (shrink)

Esse artigo se propõe a estabelecer um diálogo entre as contribuições de Marcel Mauss e Maurice Merleau-Ponty, no concernente às analises engendradas a respeito do corpo, que se faz à luz da corporeidade, um instrumento relacional com o entorno. Inobstante, a fundamentação principiológica de ambos, os dois se propuseram a superação do egrégio vértice inaugurado por Descartes – o pensamento e a matéria. Ademais, o texto pretende demonstrar a tangibilidade de diálogo entre suas convicções, bem como abarcar concepções filosóficas, manifestando (...) seu cunho transdisciplinar. Busca-se a validação das bases antropo-filosóficas para a consolidação do Direito ao Corpo, assentado nos preceitos fundamentais. (shrink)

An examination of the post-Darwinian history of biological taxonomy reveals an implicit assumption that the definitions of taxon names consist of lists of organismal traits. That assumption represents a failure to grant the concept of evolution a central role in taxonomy, and it causes conflicts between traditional methods of defining taxon names and evolutionary concepts of taxa. Phylogenetic definitions of taxon names (de Queiroz and Gauthier 1990) grant the concept of common ancestry a central role in the definitions of (...) taxon names and thus constitute an important step in the development of phylogenetic taxonomy. By treating phylogenetic relationships rather than organismal traits as necessary and sufficient properties, phylogenetic definitions remove conflicts between the definitions of taxon names and evolutionary concepts of taxa. The general method of definition represented by phylogenetic definitions of clade names can be applied to the names of other kinds of composite wholes, including populations and biological species. That the names of individuals (composite wholes) can be defined in terms of necessary and sufficient properties provides the foundation for a synthesis of seemingly incompatible positions held by contemporary individualists and essentialists concerning the nature of taxa and the definitions of taxon names. (shrink)

Taxonomies of living things and the methods used to produce them changed little with the institutionalization of evolutionary thinking in biology. Instead, the relationships expressed in existing taxonomies were merely reinterpreted as the result of evolution, and evolutionary concepts were developed to justify existing methods. I argue that the delay of the Darwinian Revolution in biological taxonomy has resulted partly from a failure to distinguish between two fundamentally different ways of ordering identified by Griffiths : classification and systematization. Classification consists (...) of ordering entities into classes, groups defined by the attributes of their members; in contrast, systematization consists of ordering entities into systems, more inclusive entities whose existence depends on some natural process through which their parts are related. Evolutionary, or phylogenetic, systematics takes evolutionary descent to be the natural process of interest in biological taxonomy. I outline a general framework for a truly phylogenetic systematics and examine some of its consequences. (shrink)

At least three different issues are commonly referred to by the term “the species problem”: one concerns the necessary properties of species, a second the processes responsible for the existence of species, and a third methods for inferring species limits. Solutions have recently been proposed to the first two problems, which are conceptual in nature (the third is methodological). The first equates species with metapopulation lineages and proposes that existence as a separately evolving metapopulation lineage be considered the only necessary (...) property of species. The second views the species category as a cluster concept and proposes that no single process or set of processes be considered necessary for the existence of species. Although these two solutions have been portrayed as being in conflict, they are, in fact, highly compatible. Moreover, the proposals in question clarify the problem concerning methods for inferring the limits of species, which has for a long time been confused with the problem concerning the necessary properties of species. Together these proposals provide the opportunity for biology to move beyond debates about the definition of the species category and focus on estimating the boundaries and numbers of species as well as studying the diverse processes involved in their origin and persistence. BioEssays 27:1263–1269, 2005. © 2005 Wiley Periodicals, Inc. (shrink)

Looking at proof theory as an attempt to ‘code’ the general pattern of the logical steps of a mathematical proof, the question of what kind of rules can make the meaning of a logical connective completely explicit does not seem to have been answered satisfactorily. The lambda calculus seems to have been more coherent simply because the use of ‘λ’ together with its projection 'apply' is specified by what can be called a 'reduction' rule: β‐conversion. We attempt to analyse the (...) role of proof rules, making use of a set of formal rules designed to capture both the notions of proof theory and those of the lambda‐calculus: Martin‐Löf's Intuitionistic Type Theory. (shrink)

El contexto del Concilio Vaticano II vivió un aspecto fundamental que es necesario valorar: el clima de libertad, de apertura y alegría traído por el Concilio, sin coacciones, ni imposiciones sobre numerosos aspectos de la vivencia de la fe, ni moralismos, ni casuísticas sobrepasadas. Además de reflexiones teológicas para abrir nuevos caminos, el Concilio trajo un nuevo clima para la Iglesia. En América Latina, que sufría dictaduras asesinas, la Iglesia del Concilio era luz que sustentaba la evangelización y la lucha (...) por la justicia. Ahora, como en el periodo que precedió al Concilio, las señales de los tiempos perciben que algo tiene que ocurrir. Como entonces, es preciso superar la perplejidad y el temor, abriéndose a una gran esperanza. La búsqueda sigue, con la paciencia activa que soporta las “demoras de Dios”, aguantando sorpresas y contradicciones sin abatirse. Es un tiempo apropiado para vivir con intensidad la recomendación del Apóstol de ser “alegres en la esperanza, firmes en la tribulación, constantes en la oración” (Rm 12,12). - DOI: 10.5752/P.2175-5841.2011v9n24p1361. (shrink)

Ernst Mayr played a central role in the establishment of the general concept of species as metapopulation lineages, and he is the author of one of the most popular of the numerous alternative definitions of the species category. Reconciliation of incompatible species definitions and the development of a unified species concept require rejecting the interpretation of various contingent properties of metapopulation lineages, including intrinsic reproductive isolation in Mayr's definition, as necessary properties of species. On the other hand, the general concept (...) of species as metapopulation lineages advocated by Mayr forms the foundation of this reconciliation, which follows from a corollary of that concept also advocated by Mayr: the proposition that the species is a fundamental category of biological organization. Although the general metapopulation lineage species concept and Mayr's popular species definition are commonly confused under the name "the biological species concept," they are more or less clearly distinguished in Mayr's early writings on the subject. Virtually all modern concepts and definitions of the species category, not only those that require intrinsic reproductive isolation, are to be considered biological according to the criterion proposed by Mayr. Definitions of the species category that identify a particular contingent property of metapopulation lineages (including intrinsic reproductive isolation) as a necessary property of species reduce the number of metapopulation lineages that are to be recognized taxonomically as species, but they cause conflicts among alternative species definitions and compromise the status of the species as a basic category of biological organization. (shrink)

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...) to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. (shrink)

Este trabalho apresenta-se como um ensaio teórico que aborda as relações entre racismo algorítmico e inteligência artificial no âmbito da cultura digital. Como proposição metodológica baseia-se na perspectiva qualitativa utilizando-se da revisão sistemática de artigos acadêmicos, livros e publicações relevantes com ênfase nas atuais discussões acerca do Racismo Algorítmico fomentado por bases que alimentam as big techs e, por consequência, a Inteligência Artificial (IA) generativa e seus vieses, identificando desse modo, padrões e tendências no estudo do racismo algorítmico. Como considerações (...) preliminares apontamos que esses bases não emitem registros e parâmetros de forma isenta, muito menos despretensiosa, e que detectar essa provável intencionalidade pode se converter em uma possível maneira de subverter a hegemonia desses conglomerados digitais. (shrink)

This article aims to present a discussion about childhood from the issues raised by the short film entitled Alma, directed, produced and scripted by the filmmaker André Morais. In the work, we experience a day in the life of a girl who lives with her grandmother and who, throughout the plot, weaves questions about her own existence, the senses of life and the dimensions of the relationships we establish with each other. It is discussed in this article, therefore, the power (...) of cinema and childhood as dimensions that invite a dialogue capable of converging art and life, also revitalizing the field of science, from the reflections that are dear to the dynamics of human experience. What conceptions of childhood are presented in the production? In what ways does the chosen approach broaden the discussion about childhood and cinema as potencies? To what extent do the questions raised by the child connect their childhood experience to the experiences of those who watch it on screen? In order to mobilize the discussion, the text is organized from scenes, which characterize the sequence of events that give meaning to what the film wants to express. In the first, the central theme is presented; in the second, the questions for which the short awakens us throughout the narrative; and in the third, it seeks to expand the possibilities of reading, rather than closing them. These scenes support the discussions brought here through Walter Benjamin, Mikhail Bakhtin, Antoine de Saint-Exupéry, Aristotle and Hannah Arendt. (shrink)

As a celebration of theTractatus100th anniversary it might be worth revisiting its relation to the later writings. From the former to the latter, David Pears recalls that “everyone is aware of the holistic character of Wittgenstein’s later philosophy, but it is not so well known that it was already beginning to establish itself in theTractatus” (The False Prison, 1987). From the latter to the former, Stephen Hilmy’s (The Later Wittgenstein, 1987) extensive study of theNachlasshas helped removing classical misconceptions such as (...) Hintikka’s claim that “Wittgenstein in thePhilosophical Investigationsalmost completely gave up the calculus analogy.” Hilmy points out that even in theInvestigationsone finds the use of the calculus/game paradigm to the understanding of language, such as “in operating with the word” (Part I, §559) and “it plays a different part in the calculus”. Hilmy also quotes from a late (1946) unpublished manuscript (MS 130) “this sentence has use in the calculus of language”, which seems to be compatible with “asking whether and how a proposition can be verified is only a particular way of asking ‘How do you mean?’” Central in this back and forth there is an aspect which seems to deserve attention in the discussion of a semantics for the language of mathematics which might be based on (normalisation of) proofs and/or Hintikka/Lorenzen game-dialogue: the explication of consequences. Such a discussion is substantially supported by the use of the open and searchableThe Wittgenstein Archives at the University of Bergen. These findings are framed within the discussion of the meaning of logical constants in the context of natural deduction style rules of inference. (shrink)

O artigo discute a visão de Merleau-Ponty sobre a obra de Marx como um guia interpretativo da história, mesmo diante de eventos revolucionários controversos. Sua posição, caracterizada por uma "filosofia de ambiguidade", é examinada criticamente, especialmente em relação à sua análise da violência como um operador legítimo do processo revolucionário. Ao explorar a interseção entre filosofia, política e violência, Merleau-Ponty lança luz sobre as complexidades e desafios inerentes à tentativa de conciliar teoria e prática, idealismo e realidade mobilizando conceitos como (...) instituição e temporalidade para por evidência uma compreensão fenomenológica do mundo da política. (shrink)

We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the time of (...) assertion/introduction.With the intention of demonstrating the generality of our framework, we provide a brief comparison with some other calculi of existentials, including the model-theoretic interpretations of Skolem and Herbrand, indicating the way in which some of the classical results on prenex normal forms can be extended to a wide range of logics. The essential ingredient is to look at the conceptual framework of labelled natural deduction as an attempted reconstruction of Frege's functional calculus where the devices of the Begriffsschrift work separately from, yet in harmony with, those of the Grundgesetze 1. (shrink)

A conversa, aqui transcrita, aconteceu virtualmente no dia 14 de setembro de 2020. Sequeira apresentou sua tese “Residência São Jerônimo: entre o acontecimento, a memória e a narrativa”, defendida em 18 de fevereiro de 2020. A casa familiar, entre tantas reminiscências, detalhes e vestígios, onde vive atualmente, transformou-se em uma residência artística, aglutinando, em momentos distintos, 11 artistas. Alexandre Sequeira fez uma exposição inicial, sobre a tese, seguida de uma conversa com os presentes. Transcrevemos as perguntas que surgiram após a (...) apresentação de Sequeira. O encontro foi aberto e estiveram presentes ouvintes não vinculados ao grupo de pesquisa. (shrink)

Advocates of cladistic parsimony methods have invoked the philosophy of Karl Popper in an attempt to argue for the superiority of those methods over phylogenetic methods based on Ronald Fisher's statistical principle of likelihood. We argue that the concept of likelihood in general, and its application to problems of phylogenetic inference in particular, are highly compatible with Popper's philosophy. Examination of Popper's writings reveals that his concept of corroboration is, in fact, based on likelihood. Moreover, because probabilistic assumptions are necessary (...) for calculating the probabilities that define Popper's corroboration, likelihood methods of phylogenetic inference—with their explicit probabilistic basis—are easily reconciled with his concept. In contrast, cladistic parsimony methods, at least as described by certain advocates of those methods, are less easily reconciled with Popper's concept of corroboration. If those methods are interpreted as lacking probabilistic assumptions, then they are incompatible with corroboration. Conversely, if parsimony methods are to be considered compatible with corroboration, then they must be interpreted as carrying implicit probabilistic assumptions. Thus, the non-probabilistic interpretation of cladistic parsimony favored by some advocates of those methods is contradicted by an attempt by the same authors to justify parsimony methods in terms of Popper's concept of corroboration. In addition to being compatible with Popperian corroboration, the likelihood approach to phylogenetic inference permits researchers to test the assumptions of their analytical methods (models) in a way that is consistent with Popper's ideas about the provisional nature of background knowledge. (shrink)

O principal objetivo deste artigo é articular a noção de antropologia, contida na tese complementar de Foucault a História da loucura, Gênese e estrutura da Antropologia de Kant, e em sua obra de 1966, As palavras e as coisas, reconhecendo no uso deste conceito uma cumplicidade teórica entre os dois textos. Em segundo lugar, procuramos entender os motivos que levaram Foucault a abandonar Kant como referência crítica às ciências humanas. Ao desvencilhar-se da filosofia kantiana, o pensador francês é forçado a (...) construir outros pressupostos que tornam possíveis o estudo do homem, tanto inspirado pela tendência estruturalista dos intelectuais franceses, sem, no entanto, estruturar condições atemporais dos discursos, como na crítica de Nietzsche à tradição filosófica. (shrink)